Optimal. Leaf size=294 \[ \frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {6 \sinh ^{-1}(a x) \text {ArcTan}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {\sinh ^{-1}(a x)^3 \text {ArcTan}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {PolyLog}\left (2,-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {PolyLog}\left (2,-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}-\frac {3 i \text {PolyLog}\left (2,i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {PolyLog}\left (2,i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x) \text {PolyLog}\left (3,-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x) \text {PolyLog}\left (3,i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \text {PolyLog}\left (4,-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {PolyLog}\left (4,i e^{\sinh ^{-1}(a x)}\right )}{a c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 294, normalized size of antiderivative = 1.00, number of steps
used = 18, number of rules used = 10, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.526, Rules used = {5788, 5789,
4265, 2611, 6744, 2320, 6724, 5798, 2317, 2438} \begin {gather*} \frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (a^2 x^2+1\right )}+\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {a^2 x^2+1}}+\frac {\sinh ^{-1}(a x)^3 \text {ArcTan}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {6 \sinh ^{-1}(a x) \text {ArcTan}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \text {Li}_4\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {Li}_4\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2317
Rule 2320
Rule 2438
Rule 2611
Rule 4265
Rule 5788
Rule 5789
Rule 5798
Rule 6724
Rule 6744
Rubi steps
\begin {align*} \int \frac {\sinh ^{-1}(a x)^3}{\left (c+a^2 c x^2\right )^2} \, dx &=\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {(3 a) \int \frac {x \sinh ^{-1}(a x)^2}{\left (1+a^2 x^2\right )^{3/2}} \, dx}{2 c^2}+\frac {\int \frac {\sinh ^{-1}(a x)^3}{c+a^2 c x^2} \, dx}{2 c}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {3 \int \frac {\sinh ^{-1}(a x)}{1+a^2 x^2} \, dx}{c^2}+\frac {\text {Subst}\left (\int x^3 \text {sech}(x) \, dx,x,\sinh ^{-1}(a x)\right )}{2 a c^2}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}+\frac {\sinh ^{-1}(a x)^3 \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int x^2 \log \left (1-i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{2 a c^2}+\frac {(3 i) \text {Subst}\left (\int x^2 \log \left (1+i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{2 a c^2}-\frac {3 \text {Subst}\left (\int x \text {sech}(x) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {6 \sinh ^{-1}(a x) \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {\sinh ^{-1}(a x)^3 \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {(3 i) \text {Subst}\left (\int \log \left (1-i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int \log \left (1+i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}+\frac {(3 i) \text {Subst}\left (\int x \text {Li}_2\left (-i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int x \text {Li}_2\left (i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {6 \sinh ^{-1}(a x) \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {\sinh ^{-1}(a x)^3 \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {(3 i) \text {Subst}\left (\int \frac {\log (1-i x)}{x} \, dx,x,e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int \frac {\log (1+i x)}{x} \, dx,x,e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int \text {Li}_3\left (-i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}+\frac {(3 i) \text {Subst}\left (\int \text {Li}_3\left (i e^x\right ) \, dx,x,\sinh ^{-1}(a x)\right )}{a c^2}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {6 \sinh ^{-1}(a x) \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {\sinh ^{-1}(a x)^3 \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}-\frac {3 i \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {(3 i) \text {Subst}\left (\int \frac {\text {Li}_3(-i x)}{x} \, dx,x,e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {(3 i) \text {Subst}\left (\int \frac {\text {Li}_3(i x)}{x} \, dx,x,e^{\sinh ^{-1}(a x)}\right )}{a c^2}\\ &=\frac {3 \sinh ^{-1}(a x)^2}{2 a c^2 \sqrt {1+a^2 x^2}}+\frac {x \sinh ^{-1}(a x)^3}{2 c^2 \left (1+a^2 x^2\right )}-\frac {6 \sinh ^{-1}(a x) \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {\sinh ^{-1}(a x)^3 \tan ^{-1}\left (e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (-i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}-\frac {3 i \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \sinh ^{-1}(a x)^2 \text {Li}_2\left (i e^{\sinh ^{-1}(a x)}\right )}{2 a c^2}+\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \sinh ^{-1}(a x) \text {Li}_3\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}-\frac {3 i \text {Li}_4\left (-i e^{\sinh ^{-1}(a x)}\right )}{a c^2}+\frac {3 i \text {Li}_4\left (i e^{\sinh ^{-1}(a x)}\right )}{a c^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.60, size = 568, normalized size = 1.93 \begin {gather*} -\frac {i \left (7 \pi ^4+8 i \pi ^3 \sinh ^{-1}(a x)+24 \pi ^2 \sinh ^{-1}(a x)^2+\frac {192 i \sinh ^{-1}(a x)^2}{\sqrt {1+a^2 x^2}}-32 i \pi \sinh ^{-1}(a x)^3+\frac {64 i a x \sinh ^{-1}(a x)^3}{1+a^2 x^2}-16 \sinh ^{-1}(a x)^4-384 \sinh ^{-1}(a x) \log \left (1-i e^{-\sinh ^{-1}(a x)}\right )+8 i \pi ^3 \log \left (1+i e^{-\sinh ^{-1}(a x)}\right )+384 \sinh ^{-1}(a x) \log \left (1+i e^{-\sinh ^{-1}(a x)}\right )+48 \pi ^2 \sinh ^{-1}(a x) \log \left (1+i e^{-\sinh ^{-1}(a x)}\right )-96 i \pi \sinh ^{-1}(a x)^2 \log \left (1+i e^{-\sinh ^{-1}(a x)}\right )-64 \sinh ^{-1}(a x)^3 \log \left (1+i e^{-\sinh ^{-1}(a x)}\right )-48 \pi ^2 \sinh ^{-1}(a x) \log \left (1-i e^{\sinh ^{-1}(a x)}\right )+96 i \pi \sinh ^{-1}(a x)^2 \log \left (1-i e^{\sinh ^{-1}(a x)}\right )-8 i \pi ^3 \log \left (1+i e^{\sinh ^{-1}(a x)}\right )+64 \sinh ^{-1}(a x)^3 \log \left (1+i e^{\sinh ^{-1}(a x)}\right )+8 i \pi ^3 \log \left (\tan \left (\frac {1}{4} \left (\pi +2 i \sinh ^{-1}(a x)\right )\right )\right )-48 \left (8+\pi ^2-4 i \pi \sinh ^{-1}(a x)-4 \sinh ^{-1}(a x)^2\right ) \text {PolyLog}\left (2,-i e^{-\sinh ^{-1}(a x)}\right )+384 \text {PolyLog}\left (2,i e^{-\sinh ^{-1}(a x)}\right )+192 \sinh ^{-1}(a x)^2 \text {PolyLog}\left (2,-i e^{\sinh ^{-1}(a x)}\right )-48 \pi ^2 \text {PolyLog}\left (2,i e^{\sinh ^{-1}(a x)}\right )+192 i \pi \sinh ^{-1}(a x) \text {PolyLog}\left (2,i e^{\sinh ^{-1}(a x)}\right )+192 i \pi \text {PolyLog}\left (3,-i e^{-\sinh ^{-1}(a x)}\right )+384 \sinh ^{-1}(a x) \text {PolyLog}\left (3,-i e^{-\sinh ^{-1}(a x)}\right )-384 \sinh ^{-1}(a x) \text {PolyLog}\left (3,-i e^{\sinh ^{-1}(a x)}\right )-192 i \pi \text {PolyLog}\left (3,i e^{\sinh ^{-1}(a x)}\right )+384 \text {PolyLog}\left (4,-i e^{-\sinh ^{-1}(a x)}\right )+384 \text {PolyLog}\left (4,-i e^{\sinh ^{-1}(a x)}\right )\right )}{128 a c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 2.05, size = 0, normalized size = 0.00 \[\int \frac {\arcsinh \left (a x \right )^{3}}{\left (a^{2} c \,x^{2}+c \right )^{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {\operatorname {asinh}^{3}{\left (a x \right )}}{a^{4} x^{4} + 2 a^{2} x^{2} + 1}\, dx}{c^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\mathrm {asinh}\left (a\,x\right )}^3}{{\left (c\,a^2\,x^2+c\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________